Lecture Practical Class

Timetable for Michaelmas Term 2025 - Tony Hoare RHB
  Monday Tuesday Wednesday Thursday Friday
9:00
Distributed Processes, Types and Programming
9:00 - 11:00
Weeks 1-6
Tony Hoare RHB
Computational Biology
9:00 - 10:00
Weeks 1-8
Tony Hoare RHB
Distributed Processes, Types and Programming
9:00 - 11:00
Weeks 3-6
Tony Hoare RHB
Computational Biology
9:00 - 10:00
Weeks 1-8
Tony Hoare RHB
Computational Biology
9:00 - 10:00
Weeks 1-4
Tony Hoare RHB
10:00      
Concurrency
Group 1
10:00 - 11:00
Weeks 3,5,7,8
Tony Hoare RHB
Concurrency
Group 2
10:00 - 11:00
Weeks 3,5,7,8
Tony Hoare RHB
11:00
Categories, Proofs and Processes
11:00 - 12:00
Weeks 1-8
Tony Hoare RHB
Law and Computer Science
11:00 - 13:00
Weeks 1-8
Tony Hoare RHB
Categories, Proofs and Processes
11:00 - 12:00
Weeks 1-8
Tony Hoare RHB
  
Categories, Proofs and Processes
11:00 - 12:00
Weeks 1-4
Tony Hoare RHB
12:00        
Machine Learning
Group 6
12:00 - 13:00
Weeks 3,5,7,8
Tony Hoare RHB
13:00      
Computer-Aided Formal Verification
Group 1
13:00 - 14:00
Weeks 3-8
Tony Hoare RHB
  
14:00    
Quantum Information
Group 2
14:00 - 15:00
Weeks 3-8
Tony Hoare RHB
Computer-Aided Formal Verification
Group 2
14:00 - 15:00
Weeks 3-8
Tony Hoare RHB
  
15:00
Distributed Processes, Types and Programming
Group 1
15:00 - 16:00
Weeks 3-8
Tony Hoare RHB
        
16:00
Distributed Processes, Types and Programming
Group 2
16:00 - 17:00
Weeks 3-8
Tony Hoare RHB
  
Probabilistic Model Checking
Group 1
16:00 - 17:00
Weeks 4,5,7,8
Tony Hoare RHB
  
Computer-Aided Formal Verification
Group 3
16:00 - 17:00
Weeks 3-8
Tony Hoare RHB